Acceleration in Multi-PushDown Systems
نویسندگان
چکیده
Multipushdown systems (MPDS) are formal models of multi-threaded recursive programs. They are turing powerful and hence one considers underapproximation techniques in their analysis. We study the use of loop accelerations in conjunction with bounded context analysis.
منابع مشابه
Well-Structured Pushdown Systems
Pushdown systems (PDSs) model single-thread recursive programs, and well-structured transition systems (WSTSs), such as vector addition systems, are useful to represent non-recursive multi-thread programs. Combining these two ideas, our goal is to investigate wellstructured pushdown systems (WSPDSs), pushdown systems with wellquasi-ordered control states and stack alphabet. This paper focuses o...
متن کاملWell - structured pushdown system , Part 1 : Decidable classes for coverability ?
Pushdown systems (PDSs) model single-thread recursive programs, and well-structured transition systems (WSTSs), such as vector addition systems, are useful to represent non-recursive multi-thread programs. Combining these two ideas, our goal is to investigate wellstructured pushdown systems (WSPDSs), pushdown systems with wellquasi-ordered control states and stack alphabet. This paper focuses o...
متن کاملAbsolute Acceleration Transfer Function of Secondary Systems Subjected to Multi- Component Earthquakes
The importance of the equipment and secondary systems in seismic design and performance evaluation is well recognized and has been the subject of many studies. In all of these studies, earthquake is considered as a single component, and in most of them the primary system is considered as shear building. Most attention has been concentrated on the response of secondary system and its response sp...
متن کاملAbsolute Acceleration Transfer Function of Secondary Systems Subjected to Multi- Component Earthquakes
The importance of the equipment and secondary systems in seismic design and performance evaluation is well recognized and has been the subject of many studies. In all of these studies, earthquake is considered as a single component, and in most of them the primary system is considered as shear building. Most attention has been concentrated on the response of secondary system and its response sp...
متن کاملSaturation of Concurrent Collapsible Pushdown Systems
Multi-stack pushdown systems are a well-studied model of concurrent computationusing threads with first-order procedure calls. While, in general, reachability is unde-cidable, there are numerous restrictions on stack behaviour that lead to decidability.To model higher-order procedures calls, a generalisation of pushdown stacks called col-lapsible pushdown stacks are required. Re...
متن کامل